Work-in-progress: An MMT-Based User-Interface

The Mmt language constitutes a scalable representation and interchange format for formal mathematical knowledge. It is foundation-independent and permits natural representations of the syntax and semantics of virtually all declarative languages. This is leveraged in the Mmt API, which provides a variety of generic logical and knowledge management services. In this work-in-progress report, we present a recently started effort to add editing support for Mmt (and thus for any language represented in Mmt). To that end, we design a concrete text syntax for Mmt and use it as an input language in two Mmt user interfaces. Firstly, we connect the Mmt API with the text editor jEdit in order to obtain IDE-like support. Secondly, we extend the Mmt web server with interface components for wiki-like editing. In both cases, a tight integration of the MMT API and the user interface makes it easy to provide high-level services to the user.